Stone Weierstrass theorem